#optimización por preferencias

TLA-Prover: Síntesis verificable de TLA+ con optimización por preferencias

Descubre TLA-Prover, el modelo de IA que sintetiza especificaciones TLA+ verificables con un 30% de tasa de éxito, superando en 3.5x a los modelos previos.